\begin{tabbing}
(\=(MemEqCD) \+
\\[0ex]CollapseTHEN (MemEqCD))$\cdot$
\-
\end{tabbing}